منابع مشابه
Knowledge Base Verification
We describe a computer program that implements an algorithm to verify the consistency and completeness of knowledge bases built for the Lockheed expert system (LES) shell. The algorithms described here are not specific to this particular shell and can be applied to many rule-based systems. The computer program, which we call CHECK, combines logical principles as well as specific information abo...
متن کاملVerification and validation of a knowledge based system Verification and validation of a knowledge-based system
In the real world, a knowledge-based system (KBS) must often accommodate a considerable number of references which support the particular knowledge domain. The size of such a knowledge repository makes its detailed verification challenging and subsequent maintenance onerous. New technology can help improve both the verification and maintenance of these knowledge repositories. To investigate the...
متن کاملFoundation and application of knowledge base verification
Anomalies such as redundant contradictory and de cient knowledge in a knowledge base are symptoms of probable errors Detecting anomalies is a well established method for verifying knowledge based systems Although many tools have been developed to perform anomaly de tection several important issues have been neglected especially the theoretical foundations and computational limitations of anomal...
متن کاملKnowledge Base Verification: Criteria and Approaches
Knowledge base (KB) is an important component knowledge-based systems (KBS). Due to the fact that KB is often built in an incremental and piecemeal fashion, potential errors may be inadvertently brought into it. KB verification refers to the process of ascertaining the correctness of a KB, which is an integral part of the effort to guarantee the overall correctness of a KBS. KB verification pre...
متن کاملSpecification and Verification of Knowledge - Based Systems
The paper introduces a formal approach for the specification and verification of knowledge-based systems. We identify different elements of such a specification: a task definition, a problem-solving method, a domain model, an adapter, and assumptions that relate these elements. We present abstract data types and a variant of dynamic logic as formal means to specify these different elements. Bas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Social Analysis
سال: 2003
ISSN: 0155-977X,1558-5727
DOI: 10.3167/015597703782353050